
#include <stdio.h>
 
void executaCalculoLambda(char str[]){

printf("\n\nBem, isso eh um tanto vergonhoso mas,\no ambiente de execucao que executa o calculo lambda nao esta disponivel\n");
printf("Mas se estivesse, ele executaria o calculo lambda e,\nnesse momento voce estaria vendo o resultado obtido\n\n");
printf("O calculo lambda executado seria esse:\n\n");
printf("%s\n\n",str);
}
 
int main(void)
{
printf("Este programa executa a seguinte expressao\nem linguagem funciponal(notacao lambda)\n\n");
printf("(lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((($ (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y)))\n");
executaCalculoLambda("(lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((lambda(x y) ((lambda(x y) ((lambda(x y) ((((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) ((lambda(x y) (((((($ (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (x y))) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (lambda(x y z)((x z) (y z))) (lambda(x y)x)) (x y))) (x y))) (x y))) (x y))) (x y)))");
system("pause");
return 0;
}
